Sergio Maffeis: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Towards a program logic for JavaScript

Gardner, Philippa Anne, Maffeis, Sergio, Smith, Gareth David

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 867 KB

english, 2012

2

Virtual Reality for Smart Urban Lighting Design: Review, Applications and Opportunities

Scorpio, Michelangelo, Laffi, Roberta, Masullo, Massimiliano, Ciampi, Giovanni, Rosato, Antonio, Maffei, Luigi, Sibilio, Sergio

Journal:

Year:

2020

File:

PDF, 8.94 MB

2020

3

A Comparative Analysis of FISH, RT-PCR, and Cytogenetics for the Diagnosis of bcr-abl Positive Leukemias

Cox, M. Christina, Maffei, Laura, Buffolino, Sonia, Poeta, Giovanni Del, Venditti, Adriano, Cantonetti, Maria, Aronica, Germano, Aquilina, Piera, Masi, Mario, Amadori, Sergio

Journal:

American Journal of Clinical Pathology

Year:

1998

Language:

english

File:

PDF, 33.18 MB

english, 1998

4

Morphological, secondary metabolite and ITS (rDNA) variability within usnic acid containing lichen thalli of the genus Xanthoparmelia explored at the local scale of rock outcrop in Western Italian Alps

Matteucci, Enrica, Occhipinti, Andrea, Piervittori, Rosanna, Maffei, Massimo E., Favero-Longo, Sergio E.

Journal:

Chemistry & Biodiversity

Year:

2017

Language:

english

File:

PDF, 1.67 MB

english, 2017

5

Sorption and desorption of silver ions by bentonite clays

Constantino, Leonel Vinicius, Quirino, Juliana Nunes, Monteiro, Alessandra Maffei, Abrão, Taufik, Parreira, Paulo Sérgio, Urbano, Alexandre, Santos, Maria Josefa

Journal:

Environmental Science and Pollution Research

Year:

2017

Language:

english

File:

PDF, 1.21 MB

english, 2017

6

Distinctive chromosomal instability patterns in oral verrucous and squamous cell carcinomas detected by high-resolution DNA flow cytometry

Monica Pentenero, Alessandra Donadini, Emanuela Di Nallo, Massimo Maffei, Roberto Marino, Ubaldo Familiari, Roberto Broccoletti, Patrizio Castagnola, Sergio Gandolfo, Walter Giaretti

Journal:

Year:

2011

Language:

english

File:

PDF, 175 KB

english, 2011

7

Characterization of cisplatin-glutathione adducts by liquid chromatography-mass spectrometry evidence for their formation in vitro but not in vivo after concomitant administration of cisplatin and glutathione to rats and cancer patients

Alberto Bernareggi, Laura Torti, Roberto Maffei Facino, Marina Carini, Gabriele Depta, Bruno Casetta, Nicholas Farrell, Sabina Spadacini, Roberto Ceserani, Sergio Tognella

Journal:

Journal of Chromatography B: Biomedical Sciences and Applications

Year:

1995

Language:

english

File:

PDF, 1.06 MB

english, 1995

8

Sequence Types for the π-calculus

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 290 KB

english, 2005

9

Matching Systems for Concurrent Calculi

Bjørn Haagensen, Sergio Maffeis, Iain Phillips

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 320 KB

english, 2008

10

On the computational strength of pure ambient calculi

Sergio Maffeis, Iain Phillips

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 485 KB

english, 2005

11

Modelling dynamic web data

Philippa Gardner, Sergio Maffeis

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 358 KB

english, 2005

12

Phylogenetic and evolutionary analyses of St. Louis encephalitis virus genomes

Gregory J. Baillie, Sergios-Orestis Kolokotronis, Eric Waltari, Joseph G. Maffei, Laura D. Kramer, Susan L. Perkins

Journal:

Molecular Phylogenetics and Evolution

Year:

2008

Language:

english

File:

PDF, 201 KB

english, 2008

13

On the Expressive Power of Polyadic Synchronisation in π-calculus

Marco Carbone, Sergio Maffeis

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 217 KB

english, 2002

14

Chromosomal aberrations and aneuploidy in oral potentially malignant lesions: distinctive features for tongue

Patrizio Castagnola, Davide Malacarne, Paola Scaruffi, Massimo Maffei, Alessandra Donadini, Emanuela Di Nallo, Simona Coco, Gian Paolo Tonini, Monica Pentenero, Sergio Gandolfo, Walter Giaretti

Journal:

Year:

2011

Language:

english

File:

PDF, 216 KB

english, 2011

15

Takotsubo cardiomyopathy in a Caucasian Italian woman: Case report

Matteo Lisi, Valerio Zacà, Silvia Maffei, Francesca Casucci, Marianna Maggi, Stefano Lunghetti, Paolo Aitiani, Arcangelo Carrera, Debora Castellani, Roberto Favilli, Carlo Pierli, Sergio Mondillo

Journal:

Cardiovascular Ultrasound

Year:

2007

Language:

english

File:

PDF, 2.51 MB

english, 2007

16

Predictive value of less than moderate residual mitral regurgitation as assessed by transesophageal echocardiography for the short-term outcomes of patients with mitral regurgitation treated with mitral valve repair

Antonio Rizza, Laureta Sulcaj, Mattia Glauber, Giuseppe Trianni, Cataldo Palmieri, Massimiliano Mariani, Stefano Maffei, Sergio Berti

Journal:

Cardiovascular Ultrasound

Year:

2007

Language:

english

File:

PDF, 485 KB

english, 2007

17

Influence of involvement of anterior leaflet versus posterior leaflet on residual regurgitation as assessed by transesophageal echocardiography in patients undergoing valve repair for mitral regurgitation due to mitral valve prolapse

Laureta Sulcaj, Antonio Rizza, Mattia Glauber, Giuseppe Trianni, Cataldo Palmieri, Marcello Ravani, Alban Dibra, Stefano Maffei, Sergio Berti

Journal:

Cardiovascular Ultrasound

Year:

2009

Language:

english

File:

PDF, 564 KB

english, 2009

18

Relationship between diet and anticoagulant response to warfarin

Silvia Maria Custódio das Dôres, Sarah L. Booth, Ligia Aújo Martini, Victor Hugo de Carvalho Gouvêa, Carlos Roberto Padovani, Francisco Humberto de Abreu Maffei, Álvaro Oscar Campana, Sérgio Alberto R

Journal:

European Journal of Nutrition

Year:

2007

Language:

english

File:

PDF, 246 KB

english, 2007

19

Relationship between diet and anticoagulant response to warfarin

Silvia Maria Custódio das Dôres, Sarah L. Booth, Ligia Araújo Martini, Victor Hugo de Carvalho Gouvêa, Carlos Roberto Padovani, Francisco Humberto de Abreu Maffei, Álvaro Oscar Campana, Sérgio Alberto

Journal:

European Journal of Nutrition

Year:

2007

File:

PDF, 43 KB

2007

20

Development and application of a simple and powerful tool for nutrition and lifestyle education for the Italian general population by general practitioners and family paediatricians

Davide Festi, Antonio Colecchia, Susy Pini, Eleonora Scaioli, Claudio Maffeis, Sergio Coccheri, M. Letizia Petroni

Journal:

Mediterranean Journal of Nutrition and Metabolism

Year:

2009

Language:

english

File:

PDF, 189 KB

english, 2009

21

On the Computational Strength of Pure Ambient Calculi

Sergio Maffeis, Iain Phillips

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 273 KB

english, 2004

22

Process Calculi and Peer-to-peer Web Data Integration

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 160 KB

english, 2006

23

CLINICAL-EPIDEMIOLOGIC STUDY OF ALOPECIA AREATA

ANA MARIA F. ROSELINO, ANA MARCIA ALMEIDA, MIGUEL A. HIPPOLITO, BRASILINA C. S. CERQUEIRA, CLAUDIA M. L. MAFFEI, JOãO B. MFNEZES, RUBENS E. VIEIRA, SERGIO L. W. ASSIS, SALIM AMED ALI

Journal:

International Journal of Dermatology

Year:

1996

Language:

english

File:

PDF, 5.05 MB

english, 1996

24

Field effect in oral precancer as assessed by DNA flow cytometry and array-CGH

Monica Pentenero, Alessandra Donadini, Emanuela Di Nallo, Massimo Maffei, Roberto Marino, Ubaldo Familiari, Patrizio Castagnola, Sergio Gandolfo, Walter Giaretti

Journal:

Journal of Oral Pathology & Medicine

Year:

2012

Language:

english

File:

PDF, 104 KB

english, 2012

25

Effect of stress on hippocampal nociceptin expression in the rat

Nativio, Paola, Pascale, Esterina, Maffei, Angelo, Scaccianoce, Sergio, Passarelli, Francesca

Journal:

Year:

2012

Language:

english

File:

PDF, 540 KB

english, 2012

26

Centrosome Amplification and Chromosomal Instability in Human and Animal Parthenogenetic Cell Lines

Tiziana A. L. Brevini, Georgia Pennarossa, Sara Maffei, Gianluca Tettamanti, Arianna Vanelli, Sara Isaac, Amir Eden, Sergio Ledda, Magda de Eguileor, Fulvio Gandolfi

Journal:

Stem Cell Reviews and Reports

Year:

2012

Language:

english

File:

PDF, 625 KB

english, 2012

27

Reactivity and event-related potentials during attentional tests in athletes

Fontani, Giuliano, Maffei, Domenico, Cameli, Sergio, Polidori, Fausto

Journal:

European Journal of Applied Physiology

Year:

1999

Language:

english

File:

PDF, 160 KB

english, 1999

28

Cytogenetic analysis is non-informative for assessing the remission rate in chronic myeloid leukemia (CML) patients on interferon-α (IFN-α) therapy

M.Christina Cox-Froncillo, Maria Cantonetti, Mario Masi, Raffaele Lentini, Paolo Giudiceandrea, Laura Maffei, Maurizio Tribalto, Sergio Amadori, Giuseppe Papa

Journal:

Cancer Genetics and Cytogenetics

Year:

1995

Language:

english

File:

PDF, 298 KB

english, 1995

29

On abstract interpretation of Mobile Ambients

Francesca Levi, Sergio Maffeis

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 620 KB

english, 2004

30

Behavioural equivalences for dynamic Web data

Sergio Maffeis, Philippa Gardner

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 2.67 MB

english, 2008

31

A microgranular variant of acute promyelocytic leukemia with atypical morpho-cytochemical features and an early myeloid immunophenotype

Roberto Stasi, Antonio Bruno, Adriano Venditti, Giovanni Del Poeta, Germano Aronica, Maria Christina Cox, Laura Maffei, Gianfranco Catalano, Daniela Zangrilli, Sergio Amadori

Journal:

Leukemia Research

Year:

1997

Language:

english

File:

PDF, 5.79 MB

english, 1997

32

Assessment of left ventricular diastolic events interrelations: An integrated approach

Sergio Mondillo, Piercarlo Ballo, Maurizio Galderisi, Marta Focardi, Elisa Giacomin, Silvia Maffei, Michael Henein

Journal:

International Journal of Cardiology

Year:

2010

Language:

english

File:

PDF, 393 KB

english, 2010

33

Platelet activation predicts recurrent ischemic events after percutaneous coronary angioplasty: A 6 months prospective study

Jacopo Gianetti, Maria Serena Parri, Silverio Sbrana, Fabrizio Paoli, Stefano Maffei, Umberto Paradossi, Sergio Berti, Aldo Clerico, Andrea Biagini

Journal:

Thrombosis Research

Year:

2006

Language:

english

File:

PDF, 143 KB

english, 2006

34

Obituary

Cerillo, Alfredo Giuseppe, Murzi, Michele, Mariani, Massimiliano, Marchi, Federica, Maffei, Stefano, Palmieri, Cataldo, Glauber, Mattia, Berti, Sergio

Journal:

Year:

1956

Language:

english

File:

PDF, 223 KB

english, 1956

35

TCT-737 MONITORING THE LEARNING CURVE AND QUALITY OF CARE IN TAVI PROCEDURES BY CUSUM ANALYSIS

Cerillo, Alfredo Giuseppe, Murzi, Michele, Mariani, Massimiliano, Marchi, Federica, Maffei, Stefano, Palmieri, Cataldo, Glauber, Mattia, Berti, Sergio

Journal:

Journal of the American College of Cardiology

Year:

2013

Language:

english

File:

PDF, 151 KB

english, 2013

36

[IEEE 2010 IEEE Symposium on Security and Privacy - Oakland, CA, USA (2010.05.16-2010.05.19)] 2010 IEEE Symposium on Security and Privacy - Object Capabilities and Isolation of Untrusted Web Applications

Maffeis, Sergio, Mitchell, John C., Taly, Ankur

Year:

2010

Language:

english

File:

PDF, 330 KB

english, 2010

37

Clinical and diagnostic aspects of cystic insulinoma

Tamagno, Gianluca, Maffei, Pietro, Pasquali, Claudio, Carlo, Eugenio De, Martini, Chiara, Mioni, Roberto, Crivellaro, Claudio, Faggian, Diego, Pedrazzoli, Sergio, Sicolo, Nicola

Journal:

Scandinavian Journal of Gastroenterology

Year:

2005

Language:

english

File:

PDF, 158 KB

english, 2005

38

[IEEE 2008 21st IEEE Computer Security Foundations Symposium - Pittsburgh, PA, USA (2008.06.23-2008.06.25)] 2008 21st IEEE Computer Security Foundations Symposium - Refinement Types for Secure Implementations

Bengtson, Jesper, Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D., Maffeis, Sergio

Year:

2008

Language:

english

File:

PDF, 445 KB

english, 2008

39

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Language-Based Isolation of Untrusted JavaScript

Maffeis, Sergio, Taly, Ankur

Year:

2009

Language:

english

File:

PDF, 456 KB

english, 2009

40

[IEEE 20th IEEE Computer Security Foundations Symposium (CSF'07) - Venice, Italy (2007.07.6-2007.07.8)] 20th IEEE Computer Security Foundations Symposium (CSF'07) - A Type Discipline for Authorization in Distributed Systems

Fournet, Cedric, Gordon, Andrew, Maffeis, Sergio

Year:

2007

Language:

english

File:

PDF, 232 KB

english, 2007

41

Cardiogenic shock complicating myocardial infarction in a doped athlete

Lunghetti, Stefano, Zacà, Valerio, Maffei, Silvia, Carrera, Arcangelo, Gaddi, Rosaria, Diciolla, Francesco, Maccherini, Massimo, Chiavarelli, Mario, Mondillo, Sergio, Favilli, Roberto

Journal:

Acute Cardiac Care

Year:

2009

Language:

english

File:

PDF, 85 KB

english, 2009

42

q-plate for millimeter-wave orbital angular momentum manipulation

Maccalli, Stefania, Pisano, Giampaolo, Colafrancesco, Sergio, Maffei, Bruno, Richard Ng, Ming Wah, Gray, Malcolm

Journal:

Year:

2013

Language:

english

File:

PDF, 739 KB

english, 2013

43

[IEEE 2012 IEEE 25th Computer Security Foundations Symposium (CSF) - Cambridge, MA, USA (2012.06.25-2012.06.27)] 2012 IEEE 25th Computer Security Foundations Symposium - Discovering Concrete Attacks on Website Authorization by Formal Analysis

Bansal, Chetan, Bhargavan, Karthikeyan, Maffeis, Sergio

Year:

2012

Language:

english

File:

PDF, 1022 KB

english, 2012

44

Refinement types for secure implementations

Bengtson, Jesper, Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D., Maffeis, Sergio

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 356 KB

english, 2011

45

A type discipline for authorization policies

Fournet, Cédric, Gordon, Andrew D., Maffeis, Sergio

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 260 KB

english, 2007

46

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Towards a program logic for JavaScript

Gardner, Philippa Anne, Maffeis, Sergio, Smith, Gareth David

Year:

2012

Language:

english

File:

PDF, 867 KB

english, 2012

47

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A trusted mechanised JavaSript specification

Bodin, Martin, Chargueraud, Arthur, Filaretti, Daniele, Gardner, Philippa, Maffeis, Sergio, Naudziuniene, Daiva, Schmitt, Alan, Smith, Gareth

Year:

2014

Language:

english

File:

PDF, 647 KB

english, 2014

48

[ACM Press the 2015 International Symposium - Baltimore, MD, USA (2015.07.13-2015.07.17)] Proceedings of the 2015 International Symposium on Software Testing and Analysis - ISSTA 2015 - BrowserAudit: automated testing of browser security features

Hothersall-Thomas, Charlie, Maffeis, Sergio, Novakovic, Chris

Year:

2015

Language:

english

File:

PDF, 640 KB

english, 2015

49

Human α Defensin in HIV-Exposed But Uninfected Individuals

Trabattoni, Daria, Caputo, Sergio Lo, Maffeis, Giada, Vichi, Francesca, Biasin, Mara, Pierotti, Piera, Fasano, Francesca, Saresella, Marina, Franchini, Mario, Ferrante, Pasquale, Mazzotta, Francesco,

Journal:

JAIDS Journal of Acquired Immune Deficiency Syndromes

Year:

2004

Language:

english

File:

PDF, 334 KB

english, 2004

50

Atrial chamber remodelling in healthy pre-adolescent athletes engaged in endurance sports: A study with a longitudinal design. The CHILD study

D'Ascenzi, Flavio, Solari, Marco, Anselmi, Francesca, Maffei, Silvia, Focardi, Marta, Bonifazi, Marco, Mondillo, Sergio, Henein, Michael

Journal:

International Journal of Cardiology

Year:

2016

Language:

english

File:

PDF, 486 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски